首页> 外文OA文献 >Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation

【2h】

Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation

机译：使用抽象解释的部分观测下的无限过渡系统的符号监督控制

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation [J] . Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Discrete event dynamic systems: Theory and applications . 2012,第2期

机译：使用抽象解释的局部观测下的无限过渡系统的符号监督控制
2. Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation [J] . Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Discrete Event Dynamic Systems . 2012,第2期

机译：使用抽象解释的部分观测下的无限过渡系统的符号监督控制
3. Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking [J] . Rawlings Blake C., Lafortune Stephane, Ydstie B. Erik IEEE Transactions on Control Systems Technology . 2020,第2期

机译：通过符号模型检查对标记过渡系统进行多重可达性要求的监督控制
4. Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation [C] . Le Gall, T., Jeannet, . 2005

机译：使用抽象解释的无限符号系统的监督控制
5. Supervisory control of discrete event dynamical systems with partial observations. [D] . Haji-Valizadeh, Alireza. 1995

机译：具有局部观测的离散事件动力系统的监督控制。
6. An Adaptive Supervisory Sliding Fuzzy Cerebellar Model Articulation Controller for Sensorless Vector-Controlled Induction Motor Drive Systems [O] . Shun-Yuan Wang, Chwan-Lu Tseng, Shou-Chuang Lin, 2015

机译：无传感器矢量控制感应电动机驱动系统的自适应监督滑模模糊小脑模型关节控制器
7. Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation [O] . Kalyon, Gabriel, Le Gall, Tristan, Marchand, Hervé, 2012

机译：使用抽象解释的局部观测下的无限过渡系统的符号监督控制
8. Control and Optimization for Observations of Systems Governed by Controlled Partial Differential Equations [R] . Su, R. 1989

机译：受控偏微分方程系统观测的控制与优化

Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅